Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types

We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for both, inferring size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.Comment: Part of WLPE 2013 proceedings (arXiv:1308.2055

Industrial agents for resilient manufacturing systems. AN I4.0 plantform for the manufacturing domain.

179 p.Este trabajo propone una plataforma para la gestión de sistemas de fabricación contextualizada en el marco de la Industria 4.0. Para ello, esta plataforma hace uso de los conceptos y normas recogidos en la Reference Architectural Model for Industrie 4.0 (RAMI 4.0), considerada la arquitectura de referencia a nivel europeo y global. Sobre esta base, la Plataforma I4.0 proporciona soporte tecnológico y metodológico para facilitar tareas como la caracterización e integración de activos a través del desarrollo del Asset Administration Shell (AAS), la entidad propuesta en RAMI 4.0 para proporcionar interoperabilidad y gestión de servicios. Además, el núcleo de la Plataforma I4.0 implementa los Infrastructure Services contemplados por RAMI 4.0 para la creación, registro y exposición de AASs en el sistema, y los extiende con funcionalidades adicionales para garantizar el estado operativo de la fábrica ante incidencias en el proceso o eventos no planificados.Esta Plataforma I4.0 ha sido diseñada para agentes industriales compatibles con el estándar FIPA. Los agentes industriales tienen una capacidad inherente para tomar decisiones de forma autónoma, lo que les permite decidir competir y/o colaborar entre sí para alcanzar sus objetivos. Además, el protocolo de comunicación Agent Communication Language (ACL) promovido por FIPA incorpora mecanismos como el uso de ontologías y performativos que facilitan la contextualización de las comunicaciones. La combinación de estas características hace que los agentes industriales sean ideales para la implementación de soluciones de Industria 4.0.Esta Plataforma I4.0 ha sido probada mediante tres escenarios de prueba definidos para evaluar su funcionamiento en condiciones normales y su respuesta en caso de fallos que afecten a los activos físicos y lógicos. Estos escenarios se han diseñado desde un enfoque genérico y posteriormente han sido particularizados para el demostrador utilizado, que recrea un entorno de fabricación mediante el uso de equipamiento industrial

Is the bulbus arteriosus of fish homologous to the mamalian intrapericardial thoracic arteries?

El resumen aparece en el Program & Abstracts of the 10th International Congress of Vertebrate Morphology, Barcelona 2013.Anatomical Record, Volume 296, Special Feature — 1: P-089.Two major findings have significantly improved our understanding of the embryology and evolution of the arterial pole of the vertebrate heart (APVH): 1) a new embryonic presumptive cardiac tissue, named second heart field (SHF), forms the myocardium of the outflow tract, and the walls of the ascending aorta (AA) and the pulmonary trunk (PT) in mammals and birds; 2) the bulbus arteriosus (BA), previously thought to be an actinopterygian apomorphy, is present in all basal Vertebrates, and probably derives from the SHF. We hypothesized that the intrapericardial portions of the AA and the PT of mammals are homologous to the BA of basal vertebrates. To test this, we performed 1) a literature review of the anatomy and embryology of the APVH; 2) novel anatomical, histomorphological, and embryological analyses of the APVH, comparing basal (Galeus atlanticus), with apical (Mus musculus and Mesocricetus auratus) vertrebrates. Evidence obtained: 1) Anatomically, BA, AA, and PT are muscular tubes into the pericardial cavity, which connect the distal myocardial outflow tracts with the aortic arch system. Coronary arteries run through or originate at these anatomical structures; 2) Histologically, BA, AA, and PT show an inner layer of endothelium covered by circumferentially oriented smooth muscle cells, collagen fibers, and lamellar elastin. The histomorphological differences between the BA and the ventral aorta parallel those between intrapericardial and extrapericardial great arteries; 3) Embryologically, BA, AA, and PT are composed of smooth muscle cells derived from the SHF. They show a similar mechanism of development: incorporation of SHF‐derived cells into the pericardial cavity, and distal‐to‐proximal differentiation into an elastogenic cell linage. In conclusion, anatomical, histological and embryological evidence supports the hypothesis that SHF is a developmental unit responsible for the formation of the APVH. The BA and the intrapericardial portions of the great arteries must be considered homologous structures.Proyecto P10-CTS-6068 (Junta de Andalucía); proyecto CGL-16417 (Ministerio de Ciencia e Innovación); Fondos FEDER

Lagrangian transport in a microtidal coastal area: the Bay of Palma, island of Mallorca, Spain

Coastal transport in the Bay of Palma, a small region in the island of Mallorca, Spain, is characterized in terms of Lagrangian descriptors. The data sets used for this study are the output for two months (one in autumn and one in summer) of a high resolution numerical model, ROMS, forced atmospherically and with a spatial resolution of 300 m. The two months were selected because its different wind regime, which is the main driver of the sea dynamics in this area. Finite-size Lyapunov Exponents (FSLEs) were used to locate semi-persistent Lagrangian coherent structures (LCS) and to understand the different flow regimes in the Bay. The different wind directions and regularity in the two months have a clear impact on the surface Bay dynamics, whereas only topographic features appear clearly in the bottom structures. The fluid interchange between the Bay and the open ocean was tudied by computing particle trajectories and Residence Times (RT) maps. The escape rate of particles out of the Bay is qualitatively different, with a 32$$ more of escape rate of particles to the ocean in October than in July, owing to the different geometric characteristics of the flow. We show that LCSs separate regions with different transport properties by displaying spatial distributions of residence times on synoptic Lagrangian maps together with the location of the LCSs. Correlations between the time-dependent behavior of FSLE and RT are also investigated, showing a negative dependence when the stirring characterized by FSLE values moves particles in the direction of escape

Incidence and type of bicuspid aortic valve in two model species

Incidence and type of bicuspid aortic valve in two model species. MC Fernández 1,2, A López-García 1,2, MT Soto 1, AC Durán 1,2 and B Fernández 1,2. 1 Department of Animal Biology, Faculty of Science, University of Málaga, Spain. 2 Biomedical Research Institute of Málaga (IBIMA), University of Málaga, Spain. Bicuspid aortic valve (BAV) is the most frequent human congenital cardiac malformation, with an incidence of 1–2% worldwide. Two morphological types exist: type A (incidence 0.75–1.25%) and type B (incidence 0.25–0.5%), each with a distinct aetiology and natural history. Currently, ten animal models of BAV have been described in two different rodent species: one spontaneous Syrian hamster (Mesocricetus auratus) model of BAV type A and nine mutant laboratory mouse (Mus musculus) models of BAV type B. It remains to be elucidated whether the mutations leading to BAV in these models are typespecific or whether there are inter-specific differences regarding the type of BAV that hamsters, mice and humans may develop. To solve this issue, we have characterized the incidence and types of BAVs in four inbred, two outbred and two hybrid lines of Syrian hamsters (n=4,340) and in three inbred, three outbred and one hybrid lines of laboratory mice (n=1,661) by means of stereomicroscopy and scanning electron microscopy. In addition, we have reviewed and calculated the incidence and type of BAVs in the published papers dealing with this anomaly in mice. Our results indicate that the Syrian hamster develops BAVs type A and B including a variety of morphologies comparable to those of humans, whereas the mouse develops only BAVs type B with a short spectrum of valve morphologies. Thus, inter-specific differences between human and mouse aortic valves must be taken into consideration when studying valve disease in murine models. This work was supported by P10-CTS-6068.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. P10-CTS-6068

Modelling vessel fleet composition for maintenance operations at offshore wind farms

Chartering a vessel fleet to support maintenance operations at offshore wind farms (OWF's) constitutes one of the major costs of maintaining this type of installations. Literature describes deterministic optimization models based on complete information within scenarios to schedule the maintenance and support decisions on the vessel fleet composition. The operations to be carried out can be classified as preventive and corrective tasks. The first type aims at reducing the likelihood of breakdowns and to prolong the life of turbine components. Corrective tasks are needed to repair breakdowns in turbines when they occur. Our research question is how to generate a vessel fleet composition, where the evaluation is based on scheduling without complete information. Such a model is a bi-level decision problem. On the first (tactical) level, decisions are made on the fleet composition for a certain time horizon. On the second (operational) level, the fleet is used to schedule the operations needed at the OWF, given random events of failures and weather conditions. A scenario based approach allows evaluation by parallel operational scheduling for each scenario..Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Spanish Ministry (TIN2015-66680

REPARABLE, ACTUALIZABLE Y RECICLABLE. LA ECONOMÍA CIRCULAR, COMO NUEVO MODELO ECONÓMICO SUSTENTABLE EN MÉXICO (Cartel)

La economía lineal es decir “el Tomar, Hacer, Desechar” es el modelo de producción por la cual hoy por hoy se rigen los sistemas económicos. Pero ¿Este modelo sigue siendo funcional? Existen diferentes posturas las cuales son debatibles, pero hay algo en lo que debemos enfocarnos y no podemos delegar, a lo que llamamos “Daño ambiental” que no es más que el resultado de este modelo lineal, pues “el producir, producir” que regía la economía clásica esta sin lugar a duda llegando a su límite, la huella ecológica que el ser humano está ocasionando a la naturaleza es impactante por lo que si no nos detenemos pronto este daño será irreversible. Lo que nos lleva a preguntarnos ¿Existe una alternativa? La respuesta es sí, existen una gran cantidad de alternativas que van desde los programas medioambientales actuales hasta la ola reciente del desarrollo sustentable los cuales están poniendo en la mesa de debate de un sinfín de organismos el repensar la manera en la que producimos, vendemos y consumismos. Es así como nace la economía circular, de ir un poco más allá, de ya no solo pensar en reciclar, reducir y reutilizar sino también innovar y transformar, en otras palabras regenerar. Así, la economía circular se plantea como una medida más revolucionaria y transformadora que lleve a las empresas al ahorro de recursos, al mismo tiempo que al consumidor a un cambio en sus hábitos de compra, ambos con un único objetivo en común; el cual es el cuidado del medio ambiente y la reversibilidad de la huella ecológica que por siglos hemos generado. Pero si bien es cierto este cambio no se logrará de la noche a la mañana, desde nuestra perspectiva requiere de la colaboración dinámica de los agentes sociales (sociedad, empresas, gobierno) para poder llevarla a cabo de manera sustentable y certera. Por lo que este modelo de reciente creación se enfrenta a grandes retos en su implementación y que quedara sujeto a lo inclusivos o exclusivos que sean los agentes sociales de una región o nación. Pero que analizando al sistema actual, dicho método ya no suena a ficción futurista, pues nos atrevemos a decir que las nuevas generaciones de empresas al igual que los nuevos estilos de vida están empujando a ver el modelo de economía circular más cercano que nunca

La segunda pantalla

En este trabajo, titulado “La segunda pantalla” se recogen diferentes reflexiones de profesionales, intentando determinar la importancia que se le da a las redes dentro de las dos mayores empresas de comunicación privada, Atresmedia y Mediaset, así como algunas productoras que son parte del desarrollo fundamental de las cadenas y en empresas especializadas en la medición del impacto que producen las redes sociales en sus cadenas en España

Effect of labour flexibility on productivity in the andalusian hotel industry

In this work, we analyze the effect of labour flexibility on productivity in the Andalusian hotel industry. For this purpose, we use the data obtained by the Quality, Productivity and Competitiveness in the Hospitality Industry for Andalusia project (PO7/SEJ-02889). Using a expanded version of the Cobb-Douglas production function, the model distinguishes two employment shares: full-time permanent (standard work) and temporary plus part-time employees (non-standard work). Our results indicate that productivity in Andalusian hotels is lower the higher the percentage of temporary and part-time workers. Furthermore, there are no statistically significant differences between the negative impact on productivity of both types of labour contract. However, since the costs associated with both temporary and part-time workers are lower than those of workers with full-time permanent contracts, future studies should analyze the differential impact of all the types of contracts discussed on the mean cost per employee in hotels.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Cielos seducidos

Establecer el lugar que el Tratado de las pasiones del alma [1649] ocupó en el "árbol de la sabiduría" creo que depende en parte de las respuestas que se den a la siguientes preguntas: primero, ¿cómo se vincularon las nociones primitivas de alma, cuerpo, y unión, irreductibles y opuestas -para no Ilamarles contradictorias- en el sistema cartesiano?; segundo, ¿podemos interpretar el tratado como una respuesta a este problema? Aunque no tengamos aún respuestas a los interrogantes anteriores, de todas maneras, la tarea no es imposible si hacemos caso omiso de cierta circularidad en nuestra argumentación. Por lo pronto, consideraremos las próximas conclusiones, para compensar esta deficiencia, como meras conjeturas. (Párrafo extraído del texto a modo de resumen)Departamento de Filosofí